<?php
    include './public/db_object.php';
    // 开启session
    session_start();

    if(isset($_POST['user'])){
        $user = $_POST['user'];
        $user_name = $_SESSION['user_name'];
        if($user_name == $user){
            // 删除所有Session的变量，也可以用unset($_SESSION[XXX])逐个删除
            //$_SESSION = array();
            unset($_SESSION['login_name']);
            // 如果使用基于Cookie的session，使用setCookkie()删除包含Session ID的cookie
            if(isset($_COOKIE[session_name()])) {
                setCookie(session_name(), "", time()-42000, "/");
            }
            // 最后彻底销毁session
            session_destroy();
            echo 1;
        }
    }

?>